 $( $t
  htmldef "mychar" as  mychareplacement";
 $)
 
